module filesystem

sig File {}
sig Machine {}

pred show[] {}

run show for 5
